Nuprl Definition : Reffect 0,22
@loc effect knd(v:T)  x := f State(ds) v  == inr(inr(inr(inr(inr(inl(<loc,ds,knd,T,x,f>)))))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliasesReffect2

origin